fixup systemd boot errors, add sysrq support
[automated-distro-installer] / fai / config / scripts / GRUB_PC / 11-iank