Beaglebone: Use debian packaged kernel

Use debian packaged linux-image-armmp, which supports beaglebone as of 3.14-1 (in sid currently).

Since the serial debug console has a different device name, I added a parameter to the enable_serial_console function so we can specify for each hardware type.