tree 7b7536032a2d7621d2256969dd80f0e310e6905b
parent 706c4144b52120479e9136375a119f09ebe70f36
author Olof Johansson <olofj@chromium.org> 1366751188 -0700
committer ChromeBot <chrome-bot@google.com> 1366757275 -0700

update_kernel: add option to disable syslinux kernel update

This makes it easier to do update_kernel to a system that has booted
without modules, since the syslinux partition tends to be FAT formatted
and we don't have that statically built into the kernel most of the time.

The code has just been moved (with whitespace reformatting).

BUG=none
TEST=adhoc; make sure update_kernel still works and that --nosyslinux
skips syslinux kernel install.

Change-Id: I07a4c6a240ef57846a7f8c7828ef17583b03b7b6
Signed-off-by: Olof Johansson <olofj@chromium.org>
Reviewed-on: https://gerrit.chromium.org/gerrit/48949
Reviewed-by: Sonny Rao <sonnyrao@chromium.org>