RDPID requires that the kernel set ups an MSR before it can be used. Hardware support by itself is not enough. I think this line CPU_FEATURE_SET_ACTIVE (cpu_features, RDPID); needs to be removed from sysdeps/x86/cpu-features.c.