240c240,246
< self.kernel = binary('vmlinux.arm.smp.fb.2.6.38.8')
---
> if machine_type == "VExpress_EMM64":
> self.kernel = binary('vmlinux-3.14-aarch64-vexpress-emm64')
> elif machine_type == "VExpress_EMM":
> self.kernel = binary('vmlinux-3.3-arm-vexpress-emm-pcie')
> else:
> self.kernel = binary('vmlinux.arm.smp.fb.2.6.38.8')
>