Re: [RFC 02/14] efi_loader: define System Resource Table macros