src/drivers/cpu.nsh

/* cpu.nsc's public api -- see cpu.nsc. */
void cpu_vendor(ptr buf); /* room for 13 bytes */
void cpu_brand(ptr buf);  /* room for 49 bytes */