Please correct AVR board packages documentation

The best place to report this is using https://www.arduino.cc/en/contact-us.