I am using stm32f407 discovery board. My printf function works fine but when it comes to printing numeric values HardFault(Bus fault) occurs. It prints alphabets perfectly fine but cant print numeric values. e.g. printf("UFSR=%x, *pUFSR);  It prints ...