Bug#1076457: linux-image-amd64 built without VDO support

[Salvatore Bonaccorso]

For reference the request to package the required tools it at
https://bugs.debian.org/89540 .

Regards,
Salvatore