[coreboot-gerrit] Change in coreboot[master]: commonlib/region: Turn addrspace_32bit into a more official API