Add note that 8250 bug has been confirmed