32 bits Kernels