Constant kernel::plic::UART0_IRQ

pub const UART0_IRQ: u32 = 10;