[coreboot] [PATCH]The resource allocator does not like zero-sized fixed resources