fips.c: x86[_64] capability masking.