Do I spend $400 on a UMPC and just roll the dice and see if Debian has the drivers for it? I got it mostly working on an old ASUS Transformer Book (10") but that was left over after upgrading.