- Booted FreeBSD/amd64 -current and 9.3, FreeBSD/i386 10.0, OpenBSD/i386 5.5,
OpenBSD/amd64 5.4, Centos/amd64 6.4, Ubuntu/amd64 14.04, NetBSD/amd64 6.1.1.
- Verified that FreeBSD, OpenBSD and Linux are able to access extended config.
- Verified that MCFG table is generated properly using acpidump.
- Verified that the memory window used for extended config appears as a reserved
memory resource in the ACPI tables.