Originally Posted by geekmaster
These are temporary links, until we get better ones:
kernel-k4main-401.7z: (bad image, to be replaced)
As you can see in the names, the are 4.0.1 firmware for the k4. There is a main partition (to copy with dd), and a main kernel (to flash with fastboot, if required).