tree d235589d2dcf48b1527916cb8dbd573cbe4d92a5
parent 596531d15ecfeddb7a9d772de30d77fc33db74cd
author Dmitry Shmidt <dimitrysh@google.com> 1521664851 -0700
committer Dmitry Shmidt <dimitrysh@google.com> 1521739066 -0700

hikey: Switch to compressed kernel

New UEFI knows how to support compressed and non-compressed
images. To use non-compressed one define
TARGET_COMPRESSED_KERNEL=false

Bug: 72826137
Test: Manual

Change-Id: Ifc54401096c241fca138d7e6e50329eb2e72b901
Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>