CPU_XBURST
if (boot_cpu_type() == CPU_XBURST) {
case CPU_XBURST:
c->cputype = CPU_XBURST;
c->cputype = CPU_XBURST;
case CPU_XBURST:
case CPU_XBURST:
if (current_cpu_type() == CPU_XBURST) {
case CPU_XBURST: