[PATCH] arm: kconfig should not display the STATIC_MACH_TYPE option when SUPPORT_PASSING_ATAGS is not selected