Cyclin-dependent kinase 5 is required for normal cerebellar development