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

[Paul Dufresne]

But I seems to have problems on first file compiled when using gcc v6:

In file included from ../src/acpi.cpp:28:0:
../include/acpi_rsdt.hpp:45:26: error: flexible array member in union
             uint32  rsdt[];
                          ^
../include/acpi_rsdt.hpp:46:26: error: flexible array member in union
             uint64  xsdt[];

This was freshly downloaded zip file from HEAD (
https://github.com/udosteinberg/NOVA ).

Reading "I.e., flexible array members may be defined only in
structures, not in unions." In C (don't know about C++).
They seems to suggest it should be replaced by zero-sized array (was
not aware of that before).

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53548
https://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html