RDRAND & more credible RPi speeds