Re: [Linaro-uefi] [PATCH] platforms.config: hikey: Set TOS_PLATFORM_FLAVOR