Merge pull request #898 from soby-mathew/sm/dcache-early
davidcunado-arm authored
PSCI: Build option to enable D-Caches early in warmboot
e83b5fdc