Update to new kernel config; use cpu_relax().