[GSoC 2017] Original proposal: Port kernel Lua to FreeBSD

[Pedro Arthur]

Hi,
I rebased rpaulo lua-bootloader against master.
The commits may diverge from the original gsoc branch but this should be
the most up to date branch.