L4Linux and AMD64

[Zephiris]

I haven't been looking around at things very long, but I was noticing, while 
Fiasco largely supports AMD64 processors in 64-bit mode, L4Linux appears to 
specifically avoid it. I couldn't find any references for this, will it ever 
be supported? It's something I was excited about/meaning to try, but as my 
system is setup with 64-bit binaries in mind, it looks like the only way to 
test it would be for L4Linux to support that.