kernel_gcc_patch