[coreboot] Bricked Lenovo T60

[Gerd Hoffmann]

  Hi,

> The workaround for that case is to configure (make menuconfig) the
> fallback SeaBIOS not to load option rom for instance.

Great idea.

I've already figured the pxerom from the factory bios doesn't run on
coreboot, seems to expect something coreboot doesn't provide, complains
about some missing ID.

So I wanna add a ipxe rom instead.  And having a fallback plan for a
broken ipxe rom is good ...

cheers,
  Gerd