Added STUB_RDRAND from devel