vexpress: update device-type configs for new firmware deployment

Change-Id: Ib2b75643ff87788ebb016ee44eecf985e89d8525