Fix doc for using Ubuntu 14.04 for ISO builds

Change-Id: I15a0407b015348fc07a6ef0f084bb872822ced65