core/linux-raspberrypi: fix config