[SeaBIOS] Add colored output