Fix Trac #4003: fix the knot-tying in checkHiBootIface