Re: [PATCH v2 2/3] arm: caches: add DCACHE_DEFAULT_OPTION