//\r
// For a normal configuration of system with 4G memory, two levels of tables\r
// can track the whole memory, because two levels (L3+L4) of map tables have\r
-// already coverred 37-bit of memory address. And for a normal UEFI BIOS,\r
+// already covered 37-bit of memory address. And for a normal UEFI BIOS,\r
// less than 128M memory would be consumed during boot. That means we just\r
// need\r
//\r