I would really like to see BIOS drivers for the MicroSD card slot to make it usable in BIOS for booting or BIOS flashing. I have several liveboot Linux distros on microSD cards but I need to use an external card reader to boot from them. Not being ab...