On the 1.3.0 image, F1 to reboot just locks up the computer with a black screen. Necessary to hold down power button to force-power-off computer to restart it.
Using the GUIX snapshot image does not have this issue, reboot works normally with the later image.