Update keyboard doc to include behaviour of HLT when interrupts are enabled