Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767
Issue #1416
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.