Update documentation of select_arch_os