[coreboot-gerrit] Change in coreboot[master]: cpu/x86/smm: Add a helper function returning top of save state