Dr. Jens Harbott b774869c3b Fix grub setup on Gentoo ... After some recent reordering[0], the /boot/grub directory isn't created early enough on Gentoo any more, let us just ensure ourselves that it is in place when we create the grub config. [0] I8cb34914bbbfa05521bbb71cc6637368b980358f Change-Id: I8a84d08c3090e46b00d1d626fb984f66ea33f256		2022-05-22 14:18:20 +02:00
..
50-bootloader	Fix grub setup on Gentoo	2022-05-22 14:18:20 +02:00