[LinuxBIOS] Problem with linuxbios and etherboot