[coreboot-gerrit] [S] Change in coreboot[master]: nb/intel/haswell: Use {read,write}32p()