When I looked at the menuconfig I noticed that it supports basix and the connix and 400Mhz.  What if i have a Verdex @ 600 Mhz?