Patch to mute/unmute the OSX boot sound