Constant ZBI_KERNEL_DRIVER_PL011_UART 

pub const ZBI_KERNEL_DRIVER_PL011_UART: zbi_kernel_driver_t = 1429228624;