ros compatible SBC or minipc for Turtlebot (Kobuki)

edit

I'm running Nvidia TK1 with Kobuki base (Indigo with Trusty). Things are running ok but I'm not a big fan of arm based cpus. Since the TK1 runs off the Kobuki battery, power usage is a big thing. Are the other compatible SBC's (single board computer) or mini PCs that are x86 or x64 based (intel/amd) cpu's that are inline with TK1/TX1 capabilities (cpu, memory, power usage wise) that folks have been running? Any links would be helpful too.