/config/grub/default/patches/

• ../
• 0001-borderfix
• 0002-luks2
• 0003-keyboardfix
• 0004-prefix