[coreboot-gerrit] Change in coreboot[master]: [WIP] intel/i8280ix,i8280jx: Rename lock_smm()