ACPI-specific documentation

This section contains documentation about coreboot on ACPI.