etherboot-gcc5-makefile.patch

--- a/tools/firmware/etherboot/Makefile 2015-05-25 11:29:14.002711705 +0200
+++ b/tools/firmware/etherboot/Makefile 2015-05-25 12:04:14.982596909 +0200
@@ -39,6 +39,10 @@
 $D/src/arch/i386/Makefile: $T Config
    rm -rf $D
    gzip -dc $T | tar xf -
+   cp ../../../../etherboot-gcc5.patch ./patches/.
+   cp ../../../../etherboot-gcc5-2.patch ./patches/.
+   echo "etherboot-gcc5.patch" >> ./patches/series
+   echo "etherboot-gcc5-2.patch" >> ./patches/series
    for i in $$(cat patches/series) ; do                 \
        patch -d $D -p1 --quiet <patches/$$i || exit 1 ; \
    done