As a workaround, I copied /boot/config-3.13-1-amd64 to /boot/config-3.13-1-amd64-chrome and added the line
CONFIG_CHROME_PLATFORMS=y Then at the point in the modified cros-haswell-modules.sh for Debian where it notices config has changed, I answered "m". (Should I have set CONFIG_CHROME_PLATFORMS to m in the first place?) I modified cros-haswell-modules.sh for 3.13 following the directions from: https://wiki.archlinux.org/index.php/Acer_C720_Chromebook and pulling in the modified /boot/config-3.13-1-amd64-chrome for the config. Note that the module is built and installed in a new directory platform/chrome not platform/x86. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

