Patch for sticky or unregistered button pushes

DCS didn't always take into account the button pushes or the buttons could remain stuck. This patch should fix this problem.