Fixing WSN430v13b and WSN430v14 builds after merge develop_cc2538 branch