This is usually the case with my camera as well, i.e 5D3 113-ml-v.2.3.NEXT disappears, however since your sd card is already enabled to boot the camera, and always make sure your CF card is selected to write media in canon menu, magic lantern firmware will still load