Re: [SeaBIOS] ipxe/seabios: segment register initialization