BL1 printf->debug