Add missing cpu_halted function, by Magnus Damm.