Issue with launching retrosmc on kodi v19

[sam_nazarko]

@Johnston_evo3

OSMC though is 64bit and RPie is still 32bit.

That’s not correct. All userlands are armhf (32 bit)