drivers/reset/reset-raspberrypi.o