whoops; make rdrand work again