Re: [PATCH] x86: fix DMI for EFI