[kodi] Apply patch by Gaël Stephan to fix kodi on aarch64 - rhbz#5171