x86: quark: Use reset_cpu()