Dell Latitude E6430 (CYRTRY1)

Hardware
On the manufacturer's internet site the hardware components are listed on the support page in the Components section. Hardware detection shown below is done running the laptop under SystemRescueCd-x86-5.0.0 in UEFI boot mode.

EFI Boot Stub quick'n dirty
This computer's UEFI allows to ignore the EFI directory structure and naming conventions. Running make install for the stub kernel produces directory content like:

The file can be used for an EFI boot entry without further copying, moving or renaming. Even if it were renamed foobar, the UEFI would start it.

External resources

 * https://linux-hardware.org/index.php?view=computers&type=notebook&vendor=Dell&model=Latitude+E6430