Matthew Dillon was planning to branch 1.8 today, but Simon ‘corecode’ Schubert came up with a fix that lets a kernel successfully boot using gcc 4.1, so the branching will be tomorrow.