Update kernel to NCX V42