XT Server updates for keyboard kernel