minor fix to keyboard kernel