try to detect a PAE kernel, found in some fedora x86