Created attachment 169602 [details] Clean kernel.bin kernel.bin is created by ARM targets for instance. Proposed patch attached