coreboot:debian-configuration