AQS fork of Novena Linux kernel