Add kernel files from Andrew