[coreboot-gerrit] Change in coreboot[master]: [UNTESTED]soc/amd/picasso: Add support for 64bit builds