[9fans] long mode -> 32-bit mode

[erik quanstrom]

has anyone got code for amd64 to go from long mode to 32 bit mode?
in theory it's just a retfq, but evidently it's not quite that simple.  ;-)

- erik