syntax corrections for kernel upgrade