I committed this as r185688. I don't think this is the cause of Vinicius' kernel not currently booting, and I looked at the assembly before/after and it is the same. http://llvm-reviews.chandlerc.com/D1084