(For those playing at home, the boot failure in comment #25 was because the m400 firmware preloads the dtb at 0x4003000000, which was clobbered by the >16MiB kernel. The latest 4.8 builds are gzipped, so they're short enough to leave it intact.)
(For those playing at home, the boot failure in comment #25 was because the m400 firmware preloads the dtb at 0x4003000000, which was clobbered by the >16MiB kernel. The latest 4.8 builds are gzipped, so they're short enough to leave it intact.)