kernel: not handling cap_flush_ack messages properly
3 - minor
Pull request ID:
This is the analogue to #9869, which Zheng tells me is also a problem in the kernel. We need to downcast the message tid when comparing it against our flushing_cap_tid fields.