The attached patch will change the default config for the Arndale board so that it boots into a Linaro SD card image.
Problem is that a bug [1] prevents the Arndale board booting from a linaro-media-create'd image, so this patch can only sensibly applied after that bug is fixed.