4.0.4-1 failed to build on amd64: https://buildd.debian.org/status/package.php?p=linux&suite=unstable