Hello Arne,
hello development folks (CC'ed),

the other day, I came across these two ARM-related kernel patches in ~/src/patches/, and am unsure
if you still need them.

Could you please drop me a line if you don't, so I can delete them as well? :-)

Thanks, and best regards,
Peter Müller