HPC_BOARD_PCI_HOTPLUG
case HPC_BOARD_PCI_HOTPLUG:
*hpc_board_type = HPC_BOARD_PCI_HOTPLUG;
HPC_BOARD_UNKNOWN : HPC_BOARD_PCI_HOTPLUG);