Added note about kernel pointers