#include <../boot/image-cipher.c>