Re: [SeaBIOS] Dealing with fallback and normal coreboot images