platform_disp_prom_version
void platform_disp_prom_version(Sys_tree *);
platform_disp_prom_version(tree);