SELinux: Increase ebitmap_node size for 64-bit configuration