Re: Report Double Fetch Bug Found in Linux-4.6.1/kernel/auditsc.c