Re: [OpenBIOS] making switch-arch executable