selinux: Hack for firmware