Mij viel die tip van Ctrl-Alt-Backspace op. Die staat standaard inderdaad al een tijd uitgeschakeld, maar Alt-SysRq-K doet hetzelfde en staat wel standaard ingeschakeld. Ctrl-Alt-Backspace is wel handig voor computers (voornamelijk laptops) die geen PrintScreen-SysRq-toets hebben.