/kernel/arch/xtensa/platforms/xt2000/include/platform/