If I'm not mistaken, those tables show newly added support of devices & modules, so cat6500 and 3800 support have been around a lot longer than since RME 4.3. You just have to make sure you update your Device Support packages for those two platforms at Common Services > Software Center > Device Updates.