Update docs for HLT behaviour

This is the proposed change to the manual to inform users about the behaviour of HLT when interrupts are enabled.