Package: mkdecbootcd