Draft: Build and publish aarch64-debug kernel

This change enables building and publishing of aarch64-debug kernel. Testing of aarch64-debug kernel is not enabled at this stage.

Resolves: #201 (closed)