You can find CYPD4225-40LQXI_notebook in the CCGx SDK:
The firmware version in the SDK is up to date.
I had some errors when I built this using PSoC 4.2
lto1.exe: fatal error: bytecode stream generated with LTO version 3.0 instead of the expected 4.1
I got rid of this error by turning off CCG_HPI_ENABLE and CCG_HPI_PD_ENABLE. I don't plan on using HPI, so I'm just leaving this here as a note in case anyone else runs into the same problem.
ERROR: No interrupt vector
I switched to the "noboot" project which does not have this error. I would like to use the bootloader eventually, so I'm still looking for a fix to this issue.