Since AVR32 arch is gone, at32psif driver is useless.
Signed-off-by: NCorentin Labbe <clabbe.montjoie@gmail.com>
Signed-off-by: NDmitry Torokhov <dmitry.torokhov@gmail.com>