I still run two Atom-based Dell Mini 10Vs and I'm in the process of replacing their DC power sockets, and while I'm doing that, upgrading them to 2GB...
Just found it - I wrote a quick bit of Python to compare the two files and the MK14 'Old OS' file that I have has a one-byte difference in it, at hex...