Pascal starts up OK from the SBR cold-start menu, but does not start up again when the warm-reset button is pressed.