[PATCH v3 34/40] efi: Use the same filename for all sandbox builds