to config pmax kernels. Not all kernels can actually be config'd because of device declaration problems, but i don't know how to fix those.
Add sample config files that use them.