Hi Vincent, Thanks for your quick reply (which I failed to notice ....)So I did a test today with GPIO_MXC=m, and initramfs-tools in default configuration.
gpio_mxc module is included in initramfs automatically, and the system can boot from microSD just fine.
Therefore, setting it as a module would do. Yours sincerely Josua mayer