There are no branches for coreboot in Debian in Launchpad.