Update kernel to NCX V31c