kaiser: use ALTERNATIVE instead of x86_cr3_pcid_noflush