I remember doing some web development work for HardKernel/ODROID back in ~2010 and I just did it for free (I loved the idea of an "Android Game Boy," plus Chris Pruett at Google recommended it for gaming and game development[1]), and they ended up sending me an ODROID-S out of the blue. I was totally surprised and felt I didn't really deserve it (MSRP was like $200-300 and I was a poor college kid), and I'll never forget the gesture.
HK earned a longtime fan with that move for sure, haha. :)
If you're interested in HK's kernel patches, you can simply download their repository (`git clone https://github.com/hardkernel/linux.git`), then add the upstream kernel repository (`git remote add upstream git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable`), then fetch it and just compare the tags (e.g. `git cherry -v vX.Y.Z X.Y.Z-A`).
HK earned a longtime fan with that move for sure, haha. :)
[1] http://replicaisland.blogspot.com/2010/01/fragmentation-more...