They're debounced in firmware on the display board. There should never be a case where a button down/up is not sent from the display board to the main board as it just sends changes of state - the problem is if the main board misses the notifications (they come in as simulated IR streams).

Hugo