Re: [SeaBIOS] IDT issue