[PATCH] add a proper prototype for setup_arch()