From: Mark Eichin (eichin@athena.mit.edu)
Date: 01/06/93 

From: eichin@athena.mit.edu (Mark Eichin)
Subject: Re: Ctl-Atl-Del and Linux 0.99 patchlevel 2: SOLVED
Date: 6 Jan 1993 23:49:33 GMT

That patch works for me (AMI BIOS, used to boot, with 99.2 it doesn't
anymore... changed the cli to sti, and now reboot and ctl-alt-del work
again.)
                                                        _Mark_