CKernel alignment fixes for 32-bit