to add the values needed for 64-bit Book3E. Signed-off-by: Benjamin Herrenschmidt Ô„«