csh/libreboot: Libreboot is a free boot fimware implementation, to replace the non-free BIOS/UEFI firmware found on most systems. It initializes the hardware and starts a bootloader for your operating system. @ 9ee7a5a496b96ee934b90d2a126fa70d4c3994b4

Andrew Robbins b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'		%!s(int64=7) %!d(string=hai) anos
..
check-trailing-newline	4b0752e1c2 re-add old build system (for x86 boards/utils)	%!s(int64=7) %!d(string=hai) anos
grubeditor.sh	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos
libreboot_usb_bugfix	4b0752e1c2 re-add old build system (for x86 boards/utils)	%!s(int64=7) %!d(string=hai) anos
powertop.trisquel7	b6e6d5eba4 Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash'	%!s(int64=7) %!d(string=hai) anos