CONFIG_VENDOR_GOOGLE=y
CONFIG_BOARD_GOOGLE_NYAN=y
CONFIG_CHROMEOS=y
CONFIG_DRIVERS_AS3722_RTC=y
CONFIG_DRIVERS_AS3722_RTC_BUS=4
CONFIG_DRIVERS_AS3722_RTC_ADDR=0x40
# CONFIG_CONSOLE_SERIAL is not set