Tweaks to how ipv6 addrs are displayed
Fix hwver numbers on 'distbl' make target
Don't set TOD_OK flag until clock is actually stepped (#2)