check consistency of CONFIG_NUM_DOMAINS and XML input before building kernel