Hi Nico,
Thanks for the comments, especially about the bootloader. I hadn’t realized the LK sources were fully published and I confess I’d not actually seen the release notes… I’ve been diligently work through the install instructions (and I got my kernel build instructions a similar way):
I like to docs a lot but it does now occur to me that the they do conspire to conceal the release notes.