enable 32 and 64 kernels