[coreboot-gerrit] Change in ...coreboot[master]: binaryPI: Fix cache coherency use for AP CPUs