enable highmem64g and pae in linux kernel