ACPI Support

[Stefan Reinauer]

Hi,

I've implemented initial code for ACPI support in LinuxBIOS. It can be
enabled by the option HAVE_ACPI_TABLES.

Currently there is only support for HPET tables, which are needed to
tell the Linux kernel where the HPET timers on AMD64 systems can be
found.

The code is generated at the same place as the other tables (MP/PIRQ) -
in src/arch/i386/boot/tables.c. The ACPI code itself can be found at
src/arch/i386/boot/acpi.c

The code is far from being a generic ACPI implementation, but it can be
enhanced to whatever is needed.

Questions and comments are welcome.

Best regards,
  Stefan Reinauer