I don't have any stats for BIOS%5Bwork%5D in #linux, sorry