Constant XCHAL_KERNEL_VECOFS 

pub const XCHAL_KERNEL_VECOFS: u32 = 768;