[PATCH V3 4/9] common: board_f: Use cpu_get_current_dev in print_cpuinfo