[PATCH RFC 03/14] efi: move efi_info_get() to a new header file