Fix #endif that should be #else.
Fix reading of the ACPI timer under bhyve.

I missed a #ifdef BHYVE_DISABLE/#else sequence from Tycho's patches.
Fix botched hand-patching.
Fix botched hand-patching.
Add new files from Tycho's UEFI patch.
Add configuration files.
Add support for AHCI disks.