iot_dk/hsdk: Implement its own print_cpuinfo()