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"