Merge pull request #2 from zeusk/master

Update and clean mutex implementation
[arch][x86] Fix arch to use new module conventions.
[include] add stdbool.h according to C99
[include] rearrange some locations of defines to better match C99
[kernel][dpc] add a new #include
[time] rename {big}time_t -> lk_{big}time_t

-This avoids a collision with posix time_t and makes gcc complain
less about printf format mismatches.
Initial skeleton / build for stm32f2xx
[stm32f2xx] Rework of gpio code for 2xx line
[stm32f2xx] Update vector table for f2xx NVIC
[stm32f2xx] Clean up gpios and get uart3 running
[stm32f2xx] Reformat vectable for readability
[stm32f2xx] Update timer.c to use lk_{big}time_t
[console] change mutex allocation to calloc

During a standard boot command_lock receives the same address
each time and in the case of reset this means it will fail the
mutex check. Changing to calloc ensures the state has been cleared
on reset.
[kernel][mutex] remove the magic test on mutex_init()

-This would presumably test for a double init, but really causes more
problems than it's worth.
[scripts][buildall] add stm3220g
[arch] Add necessary include for size_t after reorg.
[kernel] Fix warnings from printf arg checks.
[arch][arm] Put main translation table into a section to address alignment issues.
[arch][arm] Add memory barriers.
[platform] Initial platform support for AM335x/Beaglebone.