Play 2048 in the Linux kernel