Galaxy S III kernel with kexec functionality implementing Juri Lelli's deadline scheduling class