marsadm: fix lamport timestamp substitute when mars.ko is unloaded