Mark PuLP as arch-dependent

Change-Id: I2fbe7adadf369ba0bc206a2a4e33583b49fdf4b7