added UEFI support for debian