Update kernel to NCX V17b