[seL4] MMC wait after second command in intialization with mmc_init