kernel: Add x86_64 configuration, switch to tarxz