Ctrl+Alt+T is the right way to change the boot option, but after changing to 32bit, did you saved your settings ?

- Luc -