Debian packaging for efilinux