A rebase of the pyramid kernel in order to make it compile with display-caf.