Constant ZBI_KERNEL_DRIVER_I8250_PIO_UART 

pub const ZBI_KERNEL_DRIVER_I8250_PIO_UART: zbi_kernel_driver_t = 808792632;