Re: [SeaBIOS] Problems with coreboot, GRUB payload and SeaBIOS