correctly trash %edx in L4_Ipc(), L4_Lipc()

Discovered in the SYSENTER branch when Ipc started to genuinely trash the
register. Oops.