Re: [coreboot] NULL pointer dereference in search_bus_device()