x8000              35 arch/arm/kernel/head.S #if (KERNEL_RAM_VADDR & 0xffff) != 0x8000
x8000              40 arch/unicore32/kernel/head.S #if (KERNEL_RAM_VADDR & 0xffff) != 0x8000