Update kernel to NCX V25c