Apparently, we can share ubldr binary even across platforms with different memory layouts