[legal] Add FILE_LICENCE macro to some GPL-v2-or-later files

Changes were made to files where the licence text within the files
themselves confirms that the files are GPL version 2 or later.

Signed-off-by: Shao Miller <shao.miller@yrdsb.edu.on.ca>
Modified-by: Michael Brown <mcb30@ipxe.org>
Signed-off-by: Michael Brown <mcb30@ipxe.org>

src/arch/i386/core/gdbmach.c

  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stddef.h>
 #include <stdio.h>
 #include <assert.h>

src/core/gdbserial.c

  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <assert.h>
 #include <ipxe/serial.h>
 #include <ipxe/gdbstub.h>

src/core/gdbstub.c

  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /**
  * @file
  *

src/core/gdbudp.c

  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include <stdio.h>
 #include <string.h>
 #include <byteswap.h>

src/crypto/axtls/aes.c

  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /**
  * AES implementation - this is a small code version. There are much faster
  * versions around but they are much larger in size (i.e. they use large 

src/crypto/axtls/bigint.h

  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef BIGINT_HEADER
 #define BIGINT_HEADER
 

src/crypto/axtls/crypto.h

  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 /**
  * @file crypto.h
  */

src/drivers/bus/virtio-ring.c

  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include "etherboot.h"
 #include "ipxe/io.h"
 #include "ipxe/virtio-ring.h"

src/drivers/net/atl1e.h

  * Temple Place - Suite 330, Boston, MA  02111-1307, USA.
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef _ATL1E_H_
 #define _ATL1E_H_
 

src/drivers/net/via-velocity.c

 *    Indent Options: indent -kr -i8
 *************************************************************************/
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #include "etherboot.h"
 #include "nic.h"
 #include <ipxe/pci.h>

src/drivers/net/via-velocity.h

  *       Copyright (c) 2006 by Timothy Legge <tlegge@rogers.com>
  */
 
+FILE_LICENCE ( GPL2_OR_LATER );
+
 #ifndef VELOCITY_H
 #define VELOCITY_H