Always build in 32 bit mode.
Get printf! ready for kernel use.