K 10 svn:author V 3 jhb K 8 svn:date V 27 2014-05-17T21:10:03.519455Z K 7 svn:log V 44 Add support for decoding rdrand and rdseed. END