Automate the creation of the entry for the kernel in the UEFI Boot.