I'm able able to boot the stock kernel from HTC Telstra source on AOKP 4.2 and it boots all the way through so I don't think that should happen unless its something weird with sense... (Though ofc nothing works on the kernel such as display, so I can't actually see anything besides knowing it boots as I get feedback from touching the screen).
I believe the difference will be that the mods will be done to the kernel itself rather than having modules added on top of the stock kernel.
The kernel will probably be built from source with the mods included in it.
Am I right?
Sent from my HTC One X using xda app-developers app
My test build is booting fine
Did you try building pure stock?
Here's the test build, I haven't implemented overclocking, but I have most of the other stuff, s2w, zram, etc.
(s2w and zram have to be enabled manually)