L4_SLOT_KERNBASE
if (i == L4_SLOT_KERNBASE)
#define L4_SLOT_DIRECT (L4_SLOT_KERNBASE - NUM_L4_SLOT_DIRECT)