[SeaBIOS] Time for a seabios 1.11 release?