diff --git a/alarm/raspberrypi-firmware/PKGBUILD b/alarm/raspberrypi-firmware/PKGBUILD
index f17535e22..a3e89482e 100644
--- a/alarm/raspberrypi-firmware/PKGBUILD
+++ b/alarm/raspberrypi-firmware/PKGBUILD
@@ -7,7 +7,7 @@ pkgname=('raspberrypi-firmware'
          'raspberrypi-firmware-emergency-kernel'
          'raspberrypi-firmware-tools'
          'raspberrypi-firmware-examples')
-pkgver=20131111
+pkgver=20131117
 pkgrel=1
 pkgdesc="Firmware files for Raspberry Pi"
 arch=('any')
diff --git a/core/linux-chromebook/PKGBUILD b/core/linux-chromebook/PKGBUILD
index 6c4dbf91a..33c0450fd 100644
--- a/core/linux-chromebook/PKGBUILD
+++ b/core/linux-chromebook/PKGBUILD
@@ -10,7 +10,7 @@ pkgver=20131105
 _kernelname=${pkgname#linux}
 pkgdesc="ChromiumOS kernel with ArchLinux ARM tweaks"
 _basever=3.4
-pkgrel=1
+pkgrel=2
 arch=('armv7h')
 url="https://chromium.googlesource.com/chromiumos/third_party/kernel/+/chromeos-3.4"
 license=('GPL2')
@@ -21,8 +21,8 @@ source=("https://chromium.googlesource.com/chromiumos/third_party/kernel/+archiv
 	'config'
         'kernel.its')
 noextract=("${_commit}.tar.gz")
-md5sums=('fcc4b2d0b0ac8850dff2f6217f293a3c'
-         '5e255ae340bad3a32d9f1d1559fe3995'
+md5sums=('06e5510c460e2c06faec58391daafccb'
+         '482c72ee6f0b8460bf280dd9c5ffdf85'
          '56f8343875b928b6aa4e83921e5df25f')
 
 prepare() {
diff --git a/core/linux-chromebook/config b/core/linux-chromebook/config
index fbe8dc213..7d6d58e7a 100644
--- a/core/linux-chromebook/config
+++ b/core/linux-chromebook/config
@@ -536,9 +536,9 @@ CONFIG_CPU_FREQ_STAT=y
 # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
 # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
 # CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE is not set
-CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND=y
+# CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
-# CONFIG_CPU_FREQ_DEFAULT_GOV_INTERACTIVE is not set
+CONFIG_CPU_FREQ_DEFAULT_GOV_INTERACTIVE=y
 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
 CONFIG_CPU_FREQ_GOV_POWERSAVE=y
 CONFIG_CPU_FREQ_GOV_USERSPACE=y
@@ -2094,7 +2094,7 @@ CONFIG_REGULATOR_FIXED_VOLTAGE=y
 # CONFIG_REGULATOR_USERSPACE_CONSUMER is not set
 # CONFIG_REGULATOR_GPIO is not set
 # CONFIG_REGULATOR_AD5398 is not set
-# CONFIG_REGULATOR_CHROMEOS_EC_TPS65090 is not set
+CONFIG_REGULATOR_CHROMEOS_EC_TPS65090=y
 # CONFIG_REGULATOR_ISL6271A is not set
 # CONFIG_REGULATOR_MAX1586 is not set
 # CONFIG_REGULATOR_MAX8649 is not set
@@ -2231,7 +2231,7 @@ CONFIG_VIDEO_MT9V011=m
 #
 # Miscelaneous helper chips
 #
-# CONFIG_VIDEO_VIVI is not set
+CONFIG_VIDEO_VIVI=m
 CONFIG_V4L_USB_DRIVERS=y
 CONFIG_USB_VIDEO_CLASS=m
 # CONFIG_USB_VIDEO_CLASS_INPUT_EVDEV is not set
@@ -2563,8 +2563,8 @@ CONFIG_DRM_EXYNOS_DP=y
 # CONFIG_DRM_EXYNOS_VIDI is not set
 CONFIG_DRM_UDL=m
 CONFIG_DRM_PTN3460=y
-# CONFIG_DRM_PS8622 is not set
-# CONFIG_DRM_ANX7808 is not set
+CONFIG_DRM_PS8622=y
+CONFIG_DRM_ANX7808=y
 
 #
 # ARM GPU Configuration
@@ -2712,7 +2712,7 @@ CONFIG_SND_SOC_WM8994=y
 # CONFIG_SOUND_PRIME is not set
 CONFIG_HID_SUPPORT=y
 CONFIG_HID=y
-# CONFIG_HID_BATTERY_STRENGTH is not set
+CONFIG_HID_BATTERY_STRENGTH=y
 CONFIG_HIDRAW=y
 
 #
@@ -2749,7 +2749,7 @@ CONFIG_HID_CHERRY=m
 CONFIG_HID_LOGITECH=m
 CONFIG_HID_LOGITECH_DJ=m
 CONFIG_HID_LOGITECH_HIDPP=m
-# CONFIG_HID_LOGITECH_WTP is not set
+CONFIG_HID_LOGITECH_WTP=m
 # CONFIG_LOGITECH_FF is not set
 # CONFIG_LOGIRUMBLEPAD2_FF is not set
 # CONFIG_LOGIG940_FF is not set
@@ -2816,7 +2816,7 @@ CONFIG_USB_EHCI_HCD=y
 CONFIG_USB_EHCI_ROOT_HUB_TT=y
 CONFIG_USB_EHCI_TT_NEWSCHED=y
 CONFIG_USB_EHCI_S5P=y
-# CONFIG_USB_EHCI_S5P_HSIC_RESET is not set
+CONFIG_USB_EHCI_S5P_HSIC_RESET=y
 # CONFIG_USB_OXU210HP_HCD is not set
 # CONFIG_USB_ISP116X_HCD is not set
 # CONFIG_USB_ISP1760_HCD is not set
@@ -3079,7 +3079,7 @@ CONFIG_RTC_DRV_MAX77686=y
 # CONFIG_RTC_DRV_RX8025 is not set
 # CONFIG_RTC_DRV_EM3027 is not set
 # CONFIG_RTC_DRV_RV3029C2 is not set
-# CONFIG_RTC_DRV_S5M is not set
+CONFIG_RTC_DRV_S5M=y
 
 #
 # SPI RTC drivers
@@ -3115,7 +3115,7 @@ CONFIG_RTC_DRV_MAX77686=y
 # on-CPU RTC drivers
 #
 CONFIG_HAVE_S3C_RTC=y
-CONFIG_RTC_DRV_S3C=y
+CONFIG_RTC_DRV_S3C=m
 # CONFIG_RTC_DRV_PL030 is not set
 # CONFIG_RTC_DRV_PL031 is not set
 CONFIG_DMADEVICES=y
diff --git a/core/linux-raspberrypi/PKGBUILD b/core/linux-raspberrypi/PKGBUILD
index b4673656d..aa5a2aff4 100644
--- a/core/linux-raspberrypi/PKGBUILD
+++ b/core/linux-raspberrypi/PKGBUILD
@@ -8,7 +8,7 @@ pkgname=('linux-raspberrypi' 'linux-headers-raspberrypi')
 # pkgname=linux-custom       # Build kernel with a different name
 _kernelname=${pkgname#linux}
 _basekernel=3.10
-pkgver=${_basekernel}.18
+pkgver=${_basekernel}.19
 pkgrel=1
 
 arch=('arm armv6h')