Hey guys!!
For Foxconn mars mainboard.

i wondering is there any bios setting i should config for 64bit os?