add mmio_kernel for non-vgic notes