[kernel] fix missing patch files