fhc_board_poweroffcpus
(void) fhc_board_poweroffcpus(board, NULL,
error = fhc_board_poweroffcpus(board, pkt->errbuf,
extern int fhc_board_poweroffcpus(int board, char *errbuf, int cpu_flags);