Fixed clk_help to display the correct device name for the VAX TODR implementations