There is a summary of what I learnt about kernels from dealing with this issue. It is posted as a new topic