[coreboot-gerrit] Change in coreboot[master]: device/resource_allocator_v4: Improve the logging in resource allocator