Patch from: Sebastian Henschel

Attached is a cosmetic patch for arch/arm/Kconfig which updates the
URL for Kenneth's page and introduces the URL of tuxmobil.org.