[PATCH] x86: fix DMI for EFI