+#include "helper_regs.h"
+#include "internal.h"
+#include "spr_tcg.h"
These two includes look like they belong in patch 3 and 4 respectively.
And we probably want an #ifdef CONFIG_TCG around them.
Just to make sure, you mean spr_tcg.h and internal.h, right?
Internal.h needs to be included regardless, since it holds some functions
always required for init_proc, like ppc_gdb_init. These bits will be removed on
the patch series that specifically disable them if we can.
spr_tcg.h only has function prototypes, so I don't think it's a problem to
include it in case of !TCG. Some .h were removed in the other RFC because they
needed files that weren't in the include path. If we should remove it anyway, I
can add that :)