[seL4] devices.camkes: vm#.untyped_mmios: What does the integer after the addresses in this array represent?