[SeaBIOS] PXE boot ROM question