> This exhibits a build error when OHCI_VERBOSE_DEBUG is enabled:

Odd, I guess the build I tested was when that was enabled
without first enabling debugging.  The fix is trivial.