Hello Jason, Jason Thorpe writes: > [...] > Leo, can you file a bug report about this so that the issue doesn't get lost in the shuffle? > [...] Yes, good idea (and sorry for the delay)! I have just sent PR port-arm/54342.