Update kernel to NCX V31e