Re: [LinuxBIOS] Patch for vmlinux amd64 with mkelfImage