Minor fixes for the 3.5 kernel to the kernel types post processor (but before type re-ordering)