Any update on this? I am still not able to install the kernel because of this.