[SeaBIOS] [PATCH] Remove the TODO file.