x86 rdrand support sketch (not using RDRAND!)