sprout: switch to open source kernel