hi, did it necessary to update the /kernel.GENERIC when doing system update? (note that the kernel usually being used is the customized one) and how to do that ? thanks, -denisz-