what we might do is extract the coreboot image and replace the fallback payload with seabios. We can try this at the tutorial (which I'm going to miss :-( ron