Thanks for writing down DPS. Reading it leaves a question.
When using a 32bit userland in combination with a 64bit kernel, which of the partition UUIDs should be used?
- The userland defines the architecture and therefore it should be the 32bit UUID.
- The kernel defines the architecture and therefore it should be the 64bit UUID.
For example, the i386 architecture on Debian no longer comes with a kernel image. Installations are expected to combine the i386 userland with an amd64 kernel or use i386 as container environment (e.g. flatpak).
A third way of clarifying this is explicitly stating that such a mixing of architectures is out of scope for the DPS.