[SeaBIOS] [PATCH] build: simplify cross builds