Linux on IBM Thinkpad X40 stuff
See http://johnleach.co.uk/documents/thinkpadx40/index.html