ACPI BIOS Warning (bug): Incorrect checksum in table [XSDT] - 0xA0, should be 0xC9 (20140114/tbprint-240)
ACPI BIOS Warning (bug): Incorrect checksum in table [RSDT] - 0xA0, should be 0xC6 (20140114/tbprint-240)
ACPI BIOS Warning (bug): Incorrect checksum in table [FACP] - 0x00, should be 0x72 (20140114/tbprint-240)
FACP @ 0x00000000CF667D18
  0000: 46 41 43 50 84 00 00 00 02 00 49 4E 54 45 4C 00  FACP......INTEL.
  0010: 44 50 34 35 53 47 00 00 17 01 00 00 4D 53 46 54  DP45SG......MSFT
  0020: 13 00 01 00 40 1F 66 CF 18 90 65 CF 01 03 09 00  ....@.f...e.....
  0030: B2 00 00 00 A0 A1 00 C1 00 04 00 00 00 00 00 00  ................
  0040: 04 04 00 00 00 00 00 00 50 04 00 00 08 04 00 00  ........P.......
  0050: 20 04 00 00 00 00 00 00 04 02 01 04 10 00 00 C0   ...............
  0060: 65 00 E9 03 00 04 10 00 01 03 7D 7E 32 03 00 00  e.........}~2...
  0070: A5 84 03 00 01 08 00 00 F9 0C 00 00 00 00 00 00  ................
  0080: 06 00 00 00                                      ....