Will Intel's Quark Run Linux?