assertion checks for all kernels