Re: [U-Boot] [PATCH v2 3/4] api: FreeBSD: flush cache before starting loader/kernel