Second try in building a kernel for the P752D