From Debian package 0.2.20100524-3
0043-Made-devicekit.pp-and-ricci.pp-not-depend-on-console.patch

  * Made devicekit.pp and ricci.pp not depend on consoletype.pp

Index: policy/modules/contrib/devicekit.te
===================================================================
--- policy/modules/contrib/devicekit.te.orig
+++ policy/modules/contrib/devicekit.te
@@ -203,7 +203,9 @@
 corecmd_exec_bin(devicekit_power_t)
 corecmd_exec_shell(devicekit_power_t)
 
+optional_policy(`
 consoletype_exec(devicekit_power_t)
+')
 
 domain_read_all_domains_state(devicekit_power_t)
 
Index: policy/modules/contrib/ricci.te
===================================================================
--- policy/modules/contrib/ricci.te.orig
+++ policy/modules/contrib/ricci.te
@@ -213,7 +213,9 @@
 
 mount_domtrans(ricci_modcluster_t)
 
+optional_policy(`
 consoletype_exec(ricci_modcluster_t)
+')
 
 ricci_stream_connect_modclusterd(ricci_modcluster_t)
 
@@ -394,7 +396,9 @@
 # Needed for running chkconfig
 files_manage_etc_symlinks(ricci_modservice_t)
 
+optional_policy(`
 consoletype_exec(ricci_modservice_t)
+')
 
 init_domtrans_script(ricci_modservice_t)
 
@@ -456,7 +460,9 @@
 
 modutils_read_module_deps(ricci_modstorage_t)
 
+optional_policy(`
 consoletype_exec(ricci_modstorage_t)
+')
 
 mount_domtrans(ricci_modstorage_t)