skip instrument ARM's cpu_reset helper, since it fails