Only show the U64 clock driver on RISC-V

This will probably only be on a RISC-V system, and it doesn't build on
32-bit systems without 64-bit divides which is a headache.

Signed-off-by: Palmer Dabbelt <palmer@sifive.com>