Moved to the 'master' branch of kernel for now - the stable (3.9.4) does not seem to want to boot, and not interested enough to debug what changed between 3.8.5 and 3.9.4.