gator: Use device-tree when available for address of pl310 cache
-rw-r--r-- 9146 README_Streamline.txt
drwxr-xr-x - daemon
drwxr-xr-x - driver