Symbol: DAK_CPUS_PER_BOARD