Re: [coreboot] [PATCH] v3: Fix two NULL pointer dereferences in device code