<sys/platform/x86.h>: Add WRMSRNS support