[linux-morello-distros] [PATCH v0 03/13] linux-image: correct the compatible machine