Did you able to build the kernel image by original kernel sources? Sorry, I don’t have idea for the PIXCI driver.