[SeaBIOS] IDT issue