Update kernel to NCX V31d