Fix: dummy definition of rand_hw_seed() should also return int