fastboot: create generic name for appended kernel image

Change-Id: I46e1a2539dbe67227696dee6f75a66dcefd2ad60
vexpress: add device-type configs for a5 and a9

Change-Id: Iaed2e782c76787feca967f279135a624daee338e
vexpress: sync tc2 device-type config with lab config

Change-Id: I9891cc8abf22c246727586916b83372424a88b42