patmos-chisel: map LEDs into IO address space