Plat 555 rcu protected bugfixes

This fixes edge cases in the assignment of RcuProtected contexts and adds a test case.