Add support for /etc/erlinit.config

This is needed on the Raspberry Pi since the changing the kernel
commandline means recompiling the kernel. While this doesn't have to be
the case, changing the arguments via the RPi bootloader isn't great
either. This file will probably be convenient in the future for other
platforms too.