In my ideal scenario, coreboot would have the 2 images (normal, fallback) both starting the same payload (a minimal linux kernel) to save space.