Yes they mean the disc loader part.
The fix you mention is simply the savemiifrii trick. If you cannot access this menu using the Gamecube controller then the disc will not autoboot. That fix is for banner bricks (bad wad) generally but is always worth a try. You already alluded to the fact you couldn't get it working though.