K 10 svn:author V 3 imp K 8 svn:date V 27 2013-05-10T03:04:45.040476Z K 7 svn:log V 503 Add support from GE Intelligent Platform Cavium Octeon boards. Add options OCTEON_VENDOR_GEFES to enable support for these boards, to match changes that GE publishes to the Octeon Simple Executive. Since board types overlap with other boards, it is unlikely that we will properly boot on other Octeon boards with OCTEON_VENDOR_GEFES enabled. Tested extensively on the WANIC 6354, but I retained support for all the other models. Some features need changes in the base kernel, and those are in progress. END