Comment 10 for bug 1421389

Update1: git markup seems to not-work here. Duh!

Update2: after struggling to get my patch into the binary, (dpkg-buildpackage apparently unpacks the source again), it now works. As in: the objdump of the created executable looks good to me. I don't have access to the hardware at this point in time.