K 10 svn:author V 5 joerg K 8 svn:date V 27 1997-11-07T00:12:55.000000Z K 7 svn:log V 291 Typo fix that caused the value 0x1234 to be written to a random memory location. Also, instead of jumping ot the CPU's restart vector, just call int 0x19 to reboot. (Writing hte 0x1234 was a little useless otherwise.) PR: bin/4901 Submitted by: Jonathan Mini END