Whuups. Something else I just noticed:
5bbf : (compile) b(;) [ 0xc2 ] 5bc0 : 0 [ 0xa5 ] 5bc1 : b(to) [ 0xc3 ] 5bc5 : do-boot [ 0x8e7 ]
We seem to be missing a word. After the compile is done, we should have "0 to my-self" followed by "do-boot". I don't see the my-self there. If it's just a peculiarity of the debugger to not show the destination, no problem - but if he tries to do "0 to do-boot", that will barf.