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