I Would advice people to you these 4.2 gapps from our beta thread it has no quicksearchbox and provision that has been causing alot of issues once you have booted with gapps install google search from the play store
http://en.miui.com/forum.php?mod=redirect&goto=findpost&ptid=3506&pid=73179