Linux Mint may start pushing high-priority patches to users