a3: use another method to pack the kernel

Change-Id: I13ed4d6fa3472fcfc40c91daf4cf179eb6e079f0