iPXE - Open Source Boot Firmware

[tcp] Fix a 64bit compile time error