[PATCH 0/3] babbage: support bootable Linaro kernel