Symbol: DIRECT_BOOT_KERNEL