Если я понял тебя верно, то нужно в конфиге, добавить адрес сервера которого ты мне дал, и качать командой pacman -Sy virtualbox_bin ?