[coreboot-gerrit] Change in coreboot[master]: resource_allocator_v4: Fix size of I/O hole at 0x3b0