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