[coreboot] [coreboot - Bug #509] (New) SD Card hotplug not working on Apollo Lake