I googled about gensplash installation ,it's almost all about gentoo. Can u give me some instructions on setting up gensplash in Debian?