[U-Boot] U-Boot, efi-x86_app and gcc-8.1?

Hey guys,

Looking at https://travis-ci.org/trini/u-boot/jobs/534037240 this is the only board that doesn't build (having switched ARM to gcc-8.3 from Arm/Linaro) and the error is pretty odd. Do you have any idea what's going on? Thanks!