Samsung may have been busy this past week with the launches of the Galaxy S4 Active and Galaxy Note 8.0, but it hasn’t forgotten its duties to Android programmers. It just posted the kernel sou...