Type and provider for BIOS tunable parameters