armsrc/fpgaloader.c: forgot the copyright notice