Bug#1114695: (no subject)

[remasch]

So is this a kernel or UEFI issue?
If it’s a kernel issue, should it be reported upstream?