That works undoubtedly well! For those who need a little extra hand-holding (like me), here are some minor details:
-Install selinux-devel if necessary ("sudo yum install libselinux-devel")
-Create a new folder for the vbox_x11 files.
-Copy the contents from Luca's link into a file and name it "vbox_x11.te" (remove line numbers, of course).
-Run the policy compilation command from within the folder, which will create vbox_x11.pp.
-Run "sudo /usr/sbin/semodule -i vbox_x11.pp"
See this link from the .te file for more information:
http://docs.fedoraproject.org/selinux-f ... y-local.te
Mouse pointer integration should now work even with SELinux set to Enforcing mode.
Thanks Luca for pointing out this policy!