Now that the A31 reset code is a driver of its own, we need it in the
defconfig.
Signed-off-by: NMaxime Ripard <maxime.ripard@free-electrons.com>