[coreboot-gerrit] Change in coreboot[master]: mainboard/google/herobrine: Add configuration for SD card detect pin