The 3400 BIOS doesn't support PXE or USB boot... so I decided the quickest install method was to take the disk out and put it in a USB adapter connected to another machine. I wiped the disk, created a partition and configured grub to boot the debian installer.
Linux install was straightforward. I'll need to rebuild the XFree86 fpit driver to get the touchscreen working. My first attempt to do got a reaction from the mouse but was still rather broken. I'll try again when I have more time or perhaps just try a recent X.org instead.