Re: [SeaBIOS] [PATCH] build: allow setting tools path from the environment