For others who are getting started with the board, it would be great to have instructions that explain how to get their own kernels booting. Are you able to confirm that mkimage line I used is correct?

Hi Joel,
The necessity of that command is to address the deficiencies in Amlogic's uboot code. The Amlogic uboot uses 1080000 as the offset which causes issues with the mainline kernel as is. Otherwise, we wouldn't need that line at all. This will be fixed once this board is supported by mainline uboot next month.