@MDAR
I’ll reply here as you sent me a PM, that way others can find the info as well. I do not have an ARM with big little cores so I can not help, other than to pass on some links I came across…
https://forum.odroid.com/viewtopic.php?f=93&t=29008&p=229954&hilit=zulu#p229954
User posted that they followed the guide in the Feb 2017 Odroid Mag (I think it is page 12 and this link will take you there)
https://magazine.odroid.com/wp-content/uploads/ODROID-Magazine-201702.pdf#page=12
The forum linked above is a conversation between the editor of the mag and an openhab user. Thankfully I found this info whilst trying to choose which ARM board to use, so I purchased the Odroid C2 instead and have a rock solid little setup now that has been running for over a week.