CONFIG_VENDOR_FOXCONN=y
CONFIG_BOARD_FOXCONN_G41M=y
CONFIG_USE_X86_64_SUPPORT=y