Clarification on detecting PAE kernels. Thanks James Guthrie.