The x201's native OS is Ubuntu 16.04 LTS (x86_64), the native OS for dc7700 is Ubuntu 14.04 LTS (x86_64), but whilst we haven't proven the debian issue is the problem, it relates to i686 only (not amd64). I can add the kernel to the x201 (if it had HWE enabled, it'd almost be there anyway), but I don't expect issues on amd64.
The x201's native OS is Ubuntu 16.04 LTS (x86_64), the native OS for dc7700 is Ubuntu 14.04 LTS (x86_64), but whilst we haven't proven the debian issue is the problem, it relates to i686 only (not amd64). I can add the kernel to the x201 (if it had HWE enabled, it'd almost be there anyway), but I don't expect issues on amd64.
Did you mean i686/i386?