I did an odin update on my galaxy i7500, and i noticed that my kernel says 2.6.17 with a hudson@andy#1 tag under it . What is the second part. I'd like to have the stock kernel if that is possible, but this might be it. Anybody know if this is a custom kernel or a stock one, and if it is a custom one, where can I get the stock one?