Update kernel to NCX V13c