EFI: acpi init

* Not used yet; depends on functions in bios_ia32/acpi.cpp which
  will be put into a shared location for the various x86 boot
  loaders to use