f4discovery: Limit clock to 48 MHz and stack 24 kiByte so that code can be compiled unchanged for F401Discovery too.

TODO: Bump clk up to 84 MHz as soon as libopencm3 supports that speed.