Okay, makes sense. How about we:

    i) Add a note (to LAST_MINUTE)  explaining what' sgoing on and
       warning people that this is okay;

   ii) tell people to use ELF format kernels if they want
       ddb debugging symbols;

  iii) file a PR that our bootblocks dont grok ECOFF symbols