Three things :
First : DO not try to open your K4, it's almost impossible to open it without damaging cover
Second : There is NO SERIAL port inside.
Third : Source code is now available for both 4.0 and 4.0.1
Keypad and battery are called "tequila".
There is recovery mode.
Kernel Config :