Full on serial= boot-arg, much like the real kernel. Debug= should work too but it's hardcoded to 0x16e for ARM right now, SerialKDP needs to be fixed fully. :|