see:
http://tinycorelinux.net/8.x/x86_64/tcz/src/kodi
..and replace "-mtune=generic' by "-march=armv6zk -mtune=arm1176jzf-s -mfpu=vfp"
http://tinycorelinux.net/8.x/x86_64/tcz/src/kodi
..and replace "-mtune=generic' by "-march=armv6zk -mtune=arm1176jzf-s -mfpu=vfp"