Comment 6 for bug 735450

MAybe a stupid question, but I'm relatively new to Ubuntu and could not find an answer so far: This new kernel version does not yet seem to be known to apt.
Do I need to add ppa:kernel-ppa/ppa or a similar ppa, or will I simply have to wait until the newly built package hits the mirrors?