[PATCH] ARM: add command line option to set the platform.