I´ve exactly the same problem.
When pressing Ctrl+Alt+T there is no option to change boot settings in 32Bit mode.
On another machine running 64Bit mode the menue entry to change bott settings is present.
Seems that this menue is missing in 32Bit mode![]()
regards
Olly