Re: [Linaro-uefi] [PATCH] platforms.config: hikey: Change default TOS_BIN