Simplify Tupfile.
Use ChibiOS C++ interface.
Use std::size_t when appropriate.
Clean up Tupfile.