add Kernel booleans