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