[SeaBIOS] [PATCH] Fix build-dep on some .dsl files