Updated ignore list so we don't commit the kernel binary by mistake.
Apparently, I suck at pointer arithmetics these days… :) Now, the kernel works a lot better. This is not the final solution though; we should have a proper data structure for the arguments_kernel (would be quite simple so it could be fixed at some point).