[beagle3]

When I checked (in 2013), Ubuntu had this problem, and Debian did not.

Ubuntu shares a lot with debian, but grub configuration is one thing that Ubuntu appear to be doing on their own.