This is a classic embedded development head-scratcher! It sounds like you're diving deep into the hardware, and those GPIO conflicts can be a real pain. It's interesting that even after removing the tinny4412_buttons.o module, those pins still appear occupied. That often points to something lower-level claiming them, maybe in the device tree or a very early boot stage. And the SDIO interface sharing pins with general-purpose GPIOs is a common challenge, requiring careful configuration to ensure you're not fighting with built-in functionalities. If you're looking for a way to untangle these kinds of complex hardware issues, sometimes it feels like you need to conquer a steep
Slope Unblocked of technical documentation! Best of luck in getting those GPIOs tamed!