Just to put it on the record: if you need to add/change/modify ASL in the acpi-asl.git tree for use with the ARM FVP models, the correct platform directory to use is rtsm_ve-aemv8a.acpi.
I think everyone probably understands this and is already doing so; I just wanted to make sure it was explicit and recorded.
Thanks.