Is it complicated to replace Kernel in Milhouse build?