You cannot disable the ACA12xx via the boot menu. The profile selection depends on the card being connected/switched on or not.
There is a "disable" jumper on the 1232. Set it - or better - connect a switch to it. You won't have to unplug the card, then.