Prepare for 32 bits kernels