projects/common/vc707/vc707_system_bd.tcl: Select Linux MMU settings