[coreboot-gerrit] [M] Change in coreboot[master]: dev/resource_allocator_v4.c: Don't assume 2 non-fixed domain resources