So turning the display off and on with xrandr or xset does not always work even with the patched Linux kernel.