BROKEN_BIOS       161 drivers/watchdog/iTCO_vendor_support.c 	case BROKEN_BIOS:
BROKEN_BIOS       174 drivers/watchdog/iTCO_vendor_support.c 	case BROKEN_BIOS: