x86: Uses rbx for the initial vcoreid (XCC) Using rax prevents us from using SW contexts. Rebuild your toolchain. You don't need to make clean.