added source to modules in ETHZ RISC Oberon flash image