fix broken kernel build due to architecture changes

Change-Id: I7a984f9ca8caae9e9cb89c109a61f733d3fcc7a2
Signed-off-by: Eyal Salomon <esalomon@mellanox.com>