Updated the RCU debugger; still doesn't work full-kernel though.
Merged user and kernel space allocators. Fixed .gdbinit to work on new basic block organization strategy.