[arch-ports] Booting i686 iso in VirtualBox