[PATCH 3/4] mx51evk: Convert to driver model