[SeaBIOS] int 1589 test case?