[coreboot] Linux kernel drivers to expose additional coreboot functions