random: Add arch_has_random[_seed]()