[complaints about his "lost" patches]
I also sent a simple patch for setup.S that did not break anything,
but fixed a bug with some bad Acer BIOS. The bug is still present in
the BIOS, and also in the 1.3.62 setup.S. Maybe we need more
It was about one year ago.