Acpica efi acpihelp

This patchset is pulled from Yizhe Wang.
It contains basic EFI support code.
Please check.