[coreboot-gerrit] Patch merged into coreboot/master: src/: give scripts a .sh extension for easy identification

the following patch was just integrated into master:
commit 43f16f8dd82e79d15a7bd067e45b0356cd5b3dd6
Author: Martin Roth 
Date:   Mon Jan 25 15:02:32 2016 -0700

src/: give scripts a .sh extension for easy identification

Just rename the two scripts that are in the src/ tree to give them
    a .sh extension.  Since we generally expect files in the src directory
    to be source files, this allows to identify these as scripts easily.

Change-Id: I0ab20a083880370164488d37a752ba2d5a192fdc
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/13432
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See https://review.coreboot.org/13432 for details.

-gerrit