8d3428c0b4
information until the problems can be tracked down. Right now these are unconditional, but later it will be hidden behind a boot verbose. Also, if there are no events listed in the event mask, return right away. Specifically avoid writing back interrupt acks in this case.