[PATCH 11/17] Rename DRIVERS_MISC_SUPPORT to DRIVERS_MISC