Okay, scratch that. This isn't, technically, a buildd bug (as I stated), but it has been pointed out to me that this is, in fact, a Xen kernel bug (which happens to be the kernel driving the PPA buildds), as can be seen at https://bugs.edge.launchpad.net/ubuntu/+source/linux/+bug/237724
Okay, scratch that. This isn't, technically, a buildd bug (as I stated), but it has been pointed out to me that this is, in fact, a Xen kernel bug (which happens to be the kernel driving the PPA buildds), as can be seen at https:/ /bugs.edge. launchpad. net/ubuntu/ +source/ linux/+ bug/237724