[Lava-users] Booting x86 device via TFTP and iPXE