[linux-morello-distros] [PATCH v2 03/14] linux-image: correct the compatible machine