values into kconfig which are not user configurable at all only
      encourages people to put even more stuff in there. This is not
      good because people tend to have board patches lying around and
      these patches won't apply regularly if they all change the same
      file (arch/arm/Kconfig)
      Instead, introduce a function armlinux_set_architecture() which
      everyone can call during board setup.
      Similarly introduce armlinux_set_bootparams() for the boot
      parameter pointer.