How to mute bootup sound?
StartupSound works for me. It's true that it is sometimes not totally OK, but if you set different sounds volume, or check-unchech the mute radio button, finally it does the job.