Add RedHat support for disk-image-get-kernel.

RedHat and Debian based systems have different binary names.

Change-Id: I5162204759fbc4ff167d1584294c9936ab7df4c8
Merge "Add RedHat support for disk-image-get-kernel."