/sys-kernel/installkernel-systemd-boot/