Tried the upstream kernel you linked to, however it fails to boot with the messages "Fast TSC calibration failed" and a few seconds later "/dev/disk/by-uuid/[uuid number]/ does not exist". Booting the 12.04 supplied kernel continues to work as normal.
Tried the upstream kernel you linked to, however it fails to boot with the messages "Fast TSC calibration failed" and a few seconds later "/dev/disk/ by-uuid/ [uuid number]/ does not exist". Booting the 12.04 supplied kernel continues to work as normal.