Update kernel to NCX V32