Re: Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules