HWBUG_KERN_CBITBROKEN
hwbug_bitmask |= (HWBUG_KERN_ACCBROKEN | HWBUG_KERN_CBITBROKEN);
hwbug_bitmask |= HWBUG_KERN_CBITBROKEN;