char *platform_cpu_name(void);
platform_cpu_name returns the presentation (human-readable) name of the microprocessor that the platform runs on.