1- Conferi as opções do config.json e senti falta de uma opção para os parametros de Kernel. Sem essa opção eu não consigo fazer uma mudança rápida para debug, tenho que recompilar meu device tree modificando o bootargs.
2- O código fonte desse bootloader será compartilhado?