tools/hardkernel: Adding a pre-built u-boot for convenience