SELinux: fix bug in new ebitmap code.