[Linaro-uefi] [PATCH 4/5] VEA9: update default kernel commandline