Successful patch applied to Debian kernel