That was me - just didn’t want to spam the list. LK is used on some ARM mobile devices, and we are working on a variant that helps with chain of trust and running production code.
It was an interesting answer though! :-)
Some questions if you're able to answer them: Have you built the bootloading pieces yourself, or using existing code / loading protocol? Do you still use seL4's elfloader?