Move the Intel MIC drivers into their own menu.
This is due to the number of drivers (Kconfig entries) here
and it simplifies (cleans up) the "Misc devices" menu.
Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Cc: Sudeep Dutt <sudeep.dutt@intel.com>
Cc: Ashutosh Dixit <ashutosh.dixit@intel.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>