[PATCH 0/2] fix minor problems on mx35_3ds/mx35pdk

[Marc Kleine-Budde]

Hello,

this series applies to v3.4-rc4, it adds a missing static to the
mx35pdk_timer struct and some missing IMX_HAVE_PLATFORM to MACH_MX35_3DS
in Kconfig.

regards, Marc