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