Can someone please delete efibootmgr http://aur.archlinux.org/packages.php?ID=11899 . It was moved into 'extra' repo http://www.archlinux.org/packages/extra/x86_64/efibootmgr/ by tpowa about 2 days back. Thanks in advance. - Keshav