[PATCH v6 06/12] efi: Use the same filename for all sandbox builds