Fix wrong printf format specifier
LatencyTop support works just fine on SMP, but it is breaking TouchControl's binary kernel module
Comment out the missing function call, so we can test USB OTG
Add optimized mako kernel config
Huge cleanup of the too verbose Android kernel logs