Re: [SeaBIOS] PCI Option ROM debugging with Coreboot+SeaBIOS (detailed steps)