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