Dell Latitude 5480
The PC is well recognized on Debian Stretch.
EFI doesn't boot on a fresh Stretch install. On the EFI partition, you need to move EFI/debian/grub64.efi with that name: EFI/boot/bootx64.efi
- Requires the non-free package iwlwifi:
apt install firmware-iwlwifi