[coreboot-gerrit] [M] Change in coreboot[main]: commonlib: Change GCD function to always use 64 bits