This is simply to build pinmux drivers to catch build breakage.

The source code comes from samples/hello_world.