Re: [coreboot] [PATCH] Fix infinite loop in pnp_get_ioresource()