[pxe] Initialize EDX on PXE NBP entry and INT 1Ah