More tests with KERNEL_BASE