For security reasons we could use the default Debian kernel and generate a long list of kernel modules which are blacklisted in the cloud environment. -- regards Thomas