Linux driver for accessing the SMM BIOS on Dell laptops