Re: [PATCH 01/11] sandbox: Set the EFI symbols in linker script