Genode over RPI

Hi Genode, it has been long time since i played with Genode. In the past, I was able to run Genode over a RPI Model B+ V1.2. nowadays, I am trying to run the same code, so i got another RPI with the same version (i.e. Model B+ V1.2 ) but Genode was not able to boot. ACT light keeps lighting on. The PI which is working has a SOC SAMSUNG 431 K4P4G324EG- RGC2 while the other RPI has ELPIDA b4432bbPA-10-F. What i should change to get it work in the second RPI.

best,