DEMENTED n8013 kernel