Troubleshooting a Xerox Alto: failure to boot