(docker) updated to use saucy kernel for precise distros