Makefile: allow user-specified baud rate for console, ie "make BAUD=115200 console...