diff --git a/sys/contrib/octeon-sdk/cvmx-rtc.h b/sys/contrib/octeon-sdk/cvmx-rtc.h
index 59858e5a77fb..470d5287de3e 100644
--- a/sys/contrib/octeon-sdk/cvmx-rtc.h
+++ b/sys/contrib/octeon-sdk/cvmx-rtc.h
@@ -87,13 +87,8 @@ static inline cvmx_rtc_options_t cvmx_rtc_supported(void)
 	    supported = CVMX_RTC_READ | CVMX_RTC_WRITE | CVMX_RTC_TIME_EPOCH;
 	    break;
 
-	case CVMX_BOARD_TYPE_EBH3000:
-	case CVMX_BOARD_TYPE_CN3010_EVB_HS5:
-	    supported = CVMX_RTC_READ | CVMX_RTC_WRITE | CVMX_RTC_TIME_CAL;
-	    break;
-
 	default:
-	    supported = 0;
+	    supported = CVMX_RTC_READ | CVMX_RTC_WRITE | CVMX_RTC_TIME_CAL;
 	    break;
 	}
 
@@ -122,14 +117,9 @@ static inline uint32_t cvmx_rtc_read(void)
         return cvmx_rtc_ds1374_read();
         break;
 
-    case CVMX_BOARD_TYPE_EBH3000:
-    case CVMX_BOARD_TYPE_CN3010_EVB_HS5:
+    default:
 	return cvmx_rtc_ds1337_read();
 	break;
-
-    default:
-        return 0;
-        break;
     }
 }
 
@@ -148,14 +138,9 @@ static inline uint32_t cvmx_rtc_write(uint32_t time)
         return cvmx_rtc_ds1374_write(time);
         break;
 
-    case CVMX_BOARD_TYPE_EBH3000:
-    case CVMX_BOARD_TYPE_CN3010_EVB_HS5:
+    default:
 	return cvmx_rtc_ds1337_write(time);
 	break;
-
-    default:
-        return 0;
-        break;
     }
 }