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