[coreboot-gerrit] [S] Change in coreboot[main]: mainboard: Use write{64,32,16,8}p and read{64,32,16,8}p