Copy of edk2 with thinfat32 instead of the weirdly licensed MS FatBinPkg.