[patch 3/4] Add efi_info in x86 setup header