https://help.ubuntu.com/community/UEFIBooting#Tested_configurations now includes a link to this bug and a note to use a 3.3 kernel to fix this issue.
https:/ /help.ubuntu. com/community/ UEFIBooting# Tested_ configurations now includes a link to this bug and a note to use a 3.3 kernel to fix this issue.