[coreboot] PATCH: do not rely on "tempfile" being available