add support for non pae kernels