move kernel notes to #3