[SeaBIOS] alt-sysrq support