Linux kernel: delay before power-off