[OpenBIOS] r419 - openbios-devel/config/scripts