[linux-morello-distros] [PATCH v2 12/14] kas: match the new machine configuration