sr_WaitThreadDeviceGroup() doesn't retrieve some events on HMP Linux

I have an application that makes use of the "thread device group" functionality in the Standard Runtime Library. After opening my primary board with gc_OpenEx(), I pass the line device id to sr_CreateThreadDeviceGroup(). Then I use sr_WaitThreadDeviceGroup( ) to wait for the GCEV_OPENEX and GCEV_UNBLOCKED events.

This works fine in Windows using HMP 3.0, but when I run the same code on Linux (tried both HMP 3.1 and 4.1), I receive the GCEV_OPENEX event, but the GCEV_UNBLOCKED never arrives.

After some fiddling I discovered that if I call sr_waitevt() after GCEV_OPENEX arrives via sr_WaitThreadDeviceGroup(), I can retrieve the GCEV_UNBLOCKED event that way, but that isn't a thread safe solution.

I see this message in the rtf logs, but not sure if it is relevant: