echo "CONFIG_COREBOOT=y" >> filo/.config
echo "CONFIG_DEBUG_SERIAL=y" >> filo/.config
echo "CONFIG_COREBOOT_FLASH=y" >> filo/.config
echo "CONFIG_COREBOOT=y" >> filo/.config
echo "CONFIG_DEBUG_SERIAL=y" >> filo/.config
echo "CONFIG_COREBOOT_FLASH=y" >> filo/.config