Index: kernel/genarch/include/drivers/am335x/ctrl_module.h
===================================================================
--- kernel/genarch/include/drivers/am335x/ctrl_module.h	(revision 06c4609e117631c8fe0ad6ea39549b972a853e10)
+++ kernel/genarch/include/drivers/am335x/ctrl_module.h	(revision ff8f93be08ee5ecfa1fa996b08516d1fd0a6388d)
@@ -55,16 +55,20 @@
 	switch (sysboot1) {
 	default:
-		return EOK;
+		return EINVAL;
 	case 0:
 		*freq = 19200000; /* 19.2 Mhz */
+		break;
 	case 1:
 		*freq = 24000000; /* 24 Mhz */
+		break;
 	case 2:
 		*freq = 25000000; /* 25 Mhz */
+		break;
 	case 3:
 		*freq = 26000000; /* 26 Mhz */
+		break;
 	}
 
-	return EINVAL;
+	return EOK;
 }