[coreboot-gerrit] Patch set updated for coreboot: arm64: declare do_dcsw_op as function