Symbol: LOAD_KERNEL