On some systems (e.g. Lenovo ThinkPad X240, Apple MacBookPro12,1) the SMBIOS entry point is not found in the <0xFFFFF space.
Follow the SMBIOS spec and use the EFI Configuration Table for locating the entry point on EFI systems.
I'm not sure if I need any other conditionals to like, exclude kernels built without EFI support… (if anyone cares about that)