I just ran grep --color pae /proc/cpuinfo and it shows pae. I think this means my kernel supports it, right? Do I need to enable something in the BIOS? I think I read something about pae and NX (Execute Disable Bit). What is the right setting, if this is relevant?