Kobo-Arc7HD Kobo Arc7HD (2013) GPL source. This directory contains the following source files: arc7hd-ota2-kernel.tar.bz2 - Full kernel source for OTA2 (latest) release for Arc10HD. arc7hd-ota2-to-ota1.patch - Patch to revert to OTA1 version of Arc10HD kernel