init-install-efi.sh: Strip partition number from live_dev_name

This is needed in case the boot disk was created with mkdiskimage.
In that case the parameter passed is a variant of /dev/sda4 which
includes the partition number.  Without this change this install script
will offer to install onto the live media.

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>
init-install.sh: Strip partition number from live_dev_name

This is needed in case the boot disk was created with mkdiskimage.
In that case the parameter passed is a variant of /dev/sda4 which
includes the partition number.  Without this change this install script
will offer to install onto the live media.

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>
init-install-efi.sh: Force the boot partition to be 32-bit FAT; DO NOT SUBMIT UPSTREAM

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>
init-install: Enable shell debug; DO NOT SUBMIT UPSTREAM
init-install-efi.sh: Set partition types when created.; DO NOT SUBMIT UPSTREAM

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>
init-install.sh: Set partition types when created.; DO NOT SUBMIT UPSTREAM

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>
init-install-efi.sh: Increase boot partition size.; export SSH_AGENT_PID;

Signed-off-by: Drew Moseley <drew_moseley@mentor.com>