libports: add vfs_jitterentropy library

This commit adds a port the jitterentropy library to Genode. As backend
on x86_{32,64} 'rdtsc' is used and on ARMv{6,7} the performance-counter.

Fixes #1239.