Update kernel_special_cases.sh