genode: show dynamic libs
linux: enhance audio tips