8002725b9e33 ("powerpc/32: Include thread_info.h in head_booke.h")