On Tue, Apr 3, 2018 at 12:54 AM, ibu ☉ radempa wrote: > 1) (Where) should I report a bug? (XU4 will probably not be supported by > d-i.) Report it against the source of the cma value you are using, that will either be your boot firmware, device tree or the Linux kernel image you are using. -- bye, pabs https://wiki.debian.org/PaulWise