[arch-projects] [archweb] [archlinux.ipxe] Define BOOTIF in extrabootoptions