Re: [U-Boot] [PATCH v3 10/10] armv7: adapt s5pc1xx to the new cache maintenance framework