Booting installer from network when you don't own DHCP server