[coreboot-gerrit] Change in coreboot[master]: csb_patcher.sh: gets,checks,installs the coreboot and SeaBIOS patches