UBUNTU: fix ABI compat for generic-lpae ARMHF