[SeaBIOS] Time to cut a new release?