Console shim out of boot.js. Fixes #1065