Turns out ets_printf() lied to me. When handed an aligned string in flash it did 32bit loads on it instead of the expected 8bit loads, so just silencing the exception was enough to give the appearance of it working.
Johny Mattsson