Update kernel to NCX V40