Merge "morello: Add Morello platform documentation" into integration