CONFIG_VGA_ARB_MAX_GPUS=16