Reset MPIC on boot to clear some timer state that firmware might leave configured. Signed-off-by: Olof Johansson <olof@lixom.net> Signed-off-by: Paul Mackerras <paulus@samba.org>