[OpenBIOS] making switch-arch executable