32-bit gummiboot uses lower-case ia32

Thanks to iElectric in the channel for pointing it out

Signed-off-by: Shea Levy <shea@shealevy.com>