Efi boot support

Add boot support for (U)EFI systems using syslinux6, also adds a non-https mirror for the pciutils package