fixup for: Move Bit_allocator from base-nova to base

otherwise clashes with Linux defines in linux_drivers repo.
fixup for: "thread: rearrange thread context management"
base-linux: fix race condition in IPC code

Fixes #1013.