The 20 hour battery rating is for Windows 11. How long does Linux last?