grub.d/10_linux: Use an in-house script for generating linux entries

Now we have to deal with different kernel page sizes, since we want to
show up in the top-level menu, instead of in the "Advanced options for"
submenu.

Also, we want to prefer a certain kernel with specific page size over
the other ones, otherwise the machine might not boot.

Author: Cyanoxygen