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