32-bit-mode: wo einstellbar?