PPOS kernel update

Implemented a number of operations including kernel obj quiescence-based reclamation. 

Added test / benchmark code used for SPECK.