Add Debian defconfig for HP TouchPad (tenderloin)