[SeaBIOS] [PATCH] fix make help