Re: [PATCH] serefpolicy: named getattr AVC accessing /dev/random