Daniel, All, Your patch: kernel/linux: update linux kernel headers has been applied as: #7c9145db4314 http://crosstool-ng.org/hg/crosstool-ng/rev/7c9145db4314 Thank you! Regards, Yann E. MORIN. -- For unsubscribe information see http://sourceware.org/lists.html#faq