commands/devsize: changed K&R to ANSI style

Change-Id: Idc9eda4a9134c4d85870d502075398eb66c298f7
commands/decomp16: changed K&R to ANSI style

Change-Id: Ibefd50187bcc87a24d7c4c895524be9fa55f493a
commands/crc: changed K&R to ANSI style

Change-Id: Ia63ccbb76e00f18adea414296caef39a3fdf3a39
arm:add board_id to machine to enable runtime configuration.

Modified the machine struct in include/minix/type.h to have an
additional field called board_id. This fields can be read out
by userland and drivers at runtime to enable automatic
configuration. The board_id field contains information about
the hardware architecture / board and such.

Change-Id: Ib12bc0d43fc9dbdb80ee0751c721ee516de1d2d6
arm:replace ifdef's by runtime checks.

Change-Id: Iff966f2214e2d8bb6b72dd0a119085709f2d4a9c
kernel:export board to userland.

Export the board variable to userland using sysenv. This
allows rc-scrips to perform device specific initialisation.

The board variable follows the following pattern

[ARCH]-[ARCHVARIANT]-[VENDOR]-[BOARD]-[BOARDVARIANT]

We currently we support the following boards:
X86-I586-GENERIC-GENERIC-GENERIC
ARM-ARMV7-TI-BBXM-GENERIC
ARM-ARMV7-TI-BB-WHITE
ARM-ARMV7-TI-BB-BLACK

Change-Id: I9e5f5f24f9a71cc9797cacb1aafb19499613f0be