OS-161 kernel install and customization.