vfs: use 64bit for file offset and size

Fixes #1246
vbox: enable auto test for 32bit Genode host

Issue #1246
run: disable network tests on rpi

No working network driver so far.