genode: Add mmx/sse+ includes
genode: fix compilation error if sse is on

stdlib.h is included by some of the mmx/sse include headers and there the
strtoul differs from the one specified in service/string.h
seoul: fix 64bit usage of ~0U

avoids bugs and fixes compiler warnings
seoul: fixes 64bit build of model intel82576
seoul: enable endian stuff for 64bit

Works like a charm.