Replace concrete Bastion Executor with Agnostik.
So everyone can use whatever they want as guarantee.

Is your feature request related to a problem? Please describe.

Bitfields used to implement bitmaps have limited number of bits (32 or 64 based on the sizeof(uint64_t)).
Certain flags and map-or-mask-fields require more than the limit.

Describe the solution you'd like

Implement array-based bitmap implementation without upper bit-count limit (bitmap_t).

Add the following API

Lock primitives (spinlock, mutex, semaphore, rwlock) should all have their is_locked() function.

This could be used in debugging assertions to make sure some golden rules are respected all along the kernel (lots of functions are assuming that some datas are already locked etc.).

Biggest beneficiaries are the vaspace_* functions. They assumes current thread and current virtual add