Pi Firmware: also build debug kernel, update copyright

Change-Id: Id551a33da6435b7943179872dfaec8d7ef8494ce

src/scripts/config.txt

@@ -8,9 +8,12 @@
 
 # No need to change these
 
-# Kernel name
+# Normal Kernel (with info level logging)
 kernel=kernelrpi.img
 
+# Debug Kernel (with debug level logging)
+# kernel=kernelrpi_debug.img
+
 # Boot quickly
 boot_delay=0
 

src/scripts/release.sh

@@ -4,7 +4,7 @@
 set -e
 
 # Check if any uncommitted changes in tracked files
-if [ -n "$(git status --untracked-files=no --porcelain)" ]; then 
+if [ -n "$(git status --untracked-files=no --porcelain)" ]; then
     echo "Uncommitted changes; exiting....."
     exit
 fi
@@ -18,12 +18,17 @@ DIR=releases/${NAME}
 mkdir -p $DIR
 
 for MODEL in rpi
-do    
+do
+    # compile normal kernel
+    ./clobber.sh
+    ./configure_${MODEL}.sh
+    make -B -j
+    mv kernel${MODEL}.img ${DIR}/kernel${MODEL}.img
     # compile debug kernel
     ./clobber.sh
     ./configure_${MODEL}.sh -DDEBUG=1
     make -B -j
-    mv kernel*.img ${DIR}
+    mv kernel${MODEL}.img ${DIR}/kernel${MODEL}_debug.img
 done
 
 cp -a firmware/* ${DIR}
@@ -32,7 +37,7 @@ cp -a firmware/* ${DIR}
 cat >${DIR}/README.txt <<EOF
 RGBtoHDMI
 
-(c) 2017 David Banks (hoglet), Dominic Plunkett (dp11), Ed Spittles (BigEd) and other contributors
+(c) 2018 David Banks (hoglet), Ian Bradbury (IanB), Dominic Plunkett (dp11) and Ed Spittles (BigEd)
 
   git version: $(grep GITVERSION gitversion.h  | cut -d\" -f2)
 build version: ${NAME}
@@ -44,4 +49,3 @@ zip -qr ../${NAME}.zip .
 cd ../..
 
 unzip -l releases/${NAME}.zip
-