Fix GICv3 with R52 builds

[chrisj]

Hi

This patch fixes the r52 build. I have no means to test this change.

Thanks
Chris

_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel