Fix #12 and #13 (RDRAND + i386 symbol missing bug)

x86 rdrand support is sketched but we do not use RDRAND thanks to a
codegen bug (it appears) in GCC.  Notice clang works fine.