Symbol: KERN_FILE2