x86: fix DMI on EFI