define pushfq and pushfd for 32/64 bits