AA: kernel: fix CVE-2013-1763