# Pastebin GWbOJ0Su
ACPI LITE: RSDP checks out, found at 0xf59d0
ACPI LITE: RSDT/XSDT checks out, 5 tables
PCI MCFG: segment 0x0 bus [0...255] address 0xb0000000