NetXen: Fix for PPC machines.