[coreboot-gerrit] Change in coreboot[master]: Hack up per-board user selectable 64bit scheme