This makes verify.lib.so dlopen-able. fixes #191
OpenJDK version 9 for Genode, contains the interpreter/compiler version of the HotSpot virtual machine for x86_64 and ARM. fixes #123