Symbol: MCP51_SMBUS_SETUP_B_TCO_REBOOT