I had an opportunity to try out a USB key. No go. USB is the problem. Somehow, USB support for VIA chipset got broken in the 4.0 release.