Re: [PATCH v5 08/14] efi: Use the same filename for all sandbox builds