Some boot format fixups and other TFTP bugs