Today I started to use the MPK and then I found out there is this next generation. Unfortunately I cannot try it out because my platform is a 32-bit Raspbian (Debían 11 ARMHF) rather than AMD64. Any plans to support my platform?