hw/arm/mps2-tz.c: Add extra data parameter to MakeDevFn