[coreboot-gerrit] Patch set updated for coreboot: 4e11b44 cubieboard: Enable the SD controller and mux SD pins