date +'%k%M%S' still gives a leading zero in the hour after midnight... Add a leading 1 and remove it in xf86PrintBanner().