Re: [SeaBIOS] PXE boot ROM question