For background, this is currently used as a workaround for buggy kernels: https://github.com/TinkerBoard/debian_kernel/issues/51

Ideally it should not be needed, but we don't live in an ideal world...

View Change

To view, visit change 42405. To unsubscribe, or for help writing mail filters, visit settings.