It's actually a very clever approach since the Ubuntu kernel used is the LTS branch providing 5 years of support. A kernel from Debian, at the time the decision was made (before Debian LTS), was only supported for the time a Debian stable was living plus 1 year. With current Debian LTS that...