NetworkManager can't launch pppd, therefore mobile broadband connections don't work.

type=SYSCALL msg=audit(1224365034.450:19): arch=c000003e syscall=59 success=no exit=-13 a0=1c5c200 a1=1c56730 a2=7fff61953660 a3=0 items=0 ppid=2346 pid=3701 auid=4294967295 uid=0 gid=0 euid=0 suid=0 fsuid=0 egid=0 sgid=0 fsgid=0 tty=(none) ses=4294967295 comm="NetworkManager" exe="/usr/sbin/NetworkManager" subj=system_u:system_r:NetworkManager_t:s0 key=(null)

type=AVC msg=audit(1224365034.450:19): avc:  denied  { execute } for  pid=3701 comm="NetworkManager" name="pppd" dev=dm-1 ino=1763556 scontext=system_u:system_r:NetworkManager_t:s0 tcontext=system_u:object_r:pppd_exec_t:s0 tclass=file

module nmppp 1.0;

require {
	type NetworkManager_t;
	type pppd_exec_t;
	class file execute;
}
require {
	type NetworkManager_t;
	type pppd_exec_t;
	class file execute;
}

#============= NetworkManager_t ==============
allow NetworkManager_t pppd_exec_t:file execute;