Beyond BIOS. Developing with the Unified Extensible Firmware Interface