Print SELinux error count in "Build mark" format

Change-Id: Ie2920b25648819c8f879d214c4c1c10d6b93a087