The text d1dac7264a50, as Debian 7 (Wheezy) shipped it.
Place a simple 64 bit SGE at address pAddr.
mpt_add_sge_64bit(9) on Linux now