target/alpha: Use generic cpu_list()