rand: declare get_hardware_random_value() before use.