x86: Use Linux's MSR_SFMASK values