Debian 10 "Buster" はまだリリースできないのに、 Ubuntu 19.04 はリリースされて、カーネルのバージョンも新しいんだよね。