Is there a reason why `ets_printf` prints nothing from `rboot-stage2a.c`? It would be nice to have it for debugging purposes.