[syslinux] License Question

[Lukas Schwaighofer]

Hi,

Sorry for writing so many messages.  I am doing a license review for
syslinux in Debian and I've stumbled on the following files:
 * efi/console.c
 * efi/derivative.c
 * efi/diskio.c
 * efi/main.c
 * efi/mem.c
 * efi/pxe.c
 * efi/tcp.c
 * efi/udp.c

All of them start with
/*
 * Copyright 2011-2014 Intel Corporation - All Rights Reserved
 */
with no further indication of any license.  This header was explicitly
added to all of those files in one commit [1].  Can somone clarify under
which license terms these files are available (and preferable add that
information to those files)?

Thank you
Lukas

[1] http://git.zytor.com/syslinux/syslinux.git/commit/?id=aa8334cfa3762aa47ea3f75eb1e9807908a2909d