Some additional Haswell bits and pieces