Prepare for 64 bits kernels