Build files for HP TouchPad Debian kernel images