[FAQ] The Open Source Stackable PC BIOS