Maybe guard this in `#ifndef UART0_STACKSIZE`, so `cpu-conf.h` can choose a better value?
But you are right, 256 is very arbitrary. If anything it should have been `128 * sizeof (int)`.