This section contains documentation about the configuration and programming APIs internal to coreboot