[coreboot-gerrit] New patch to review for coreboot: arm64: declare do_dcsw_op as function