NX bit: AMD vs Intel?