OS_ID_HPUX
case OS_ID_HPUX: return "HP-UX";
if (pdc_model_sysmodel(OS_ID_HPUX, boot_cpu_data.pdc.sys_model_name) == PDC_OK)