I reckon the same applies here. Swapping out the OS, also given that is an explicit option for these devices, should have no influence on the warranty on the hardware. You might lose factory warranty, but in EU law, the shop were you bought it is responsible for warranty anyway.