CLOUDSTACK-7527 reboot faster by writing to /proc/sysrq-trigger