Switching kernel files to the new style.