244c244
< choices=ArmMachineType.map.keys(), default="RealView_PBX")
---
> choices=ArmMachineType.map.keys(), default="VExpress_EMM")