7574dd080ee0 ("powerpc/book3e: Fix build error")