pl310 cache controller tuning