cpu_new.c: netburst bits & DBG() style