Adds separate default configuration options for 64-bit Linux version. Disables options while the there is no connection to the Kernel.