const char *lenovo_mainboard_partnumber(void);