Fix missing GIF banner size

Currently, the  -size command line paramter to ImageMagick
does not appear to be getting added for ineligible zerodot
GIF banners. This patch tries to correct this.

Change-Id: I622a041607f3dcf82a354aa0c61e906ebbab2e85