fix parallel compilation of SeaBIOS