Dear distributors, please be advised that GRUB can become a lagfest with theming [1] and you may wish to careful considering using theming by default and/or apply runtime conditions to using a theme or not (e.g. check screen0 vbe resolution or some such magic). [1] https://bugs.kde.org/show_bug.cgi?id=370374 HS