Comment 7 for bug 934034

Sunil: I believe the wrong vmalloc= in your kernel commandline comes from the boot.scr which is created by linaro-android-media-create when building the image.

You will need to use a trunk version of linaro-image-tools, released versions will not work currently.