[PATCH 10/17] display_options: Use USE_TINY_PRINTF for SPL check