Lenovo releases BIOS for loading Linux on Yoga 900, IdeaPad 710S BIOS