kernel: Remove unused hogticks global from kern_synch.c.