Kernel for ISW12K and ISW11K