custom deadspace linux kernel [RT_PREEMPT, loop-AES, GCC]