pat_disable
pat_disable("PAT not supported by the CPU.");
pat_disable("PAT support disabled by the firmware.");
pat_disable("PAT support disabled via boot option.");