ditched PAE - we're pretty much fulltime x86_64 now