[coreboot] Re: [PATCH 1/3] firmware: google: Release devices before unregistering the bus