Sorry but I have no update on the status of the AmigaOS Gallium port at this time.
Warp3DNova was born out of the frustration in waiting for the Gallium hardware drivers. It also means A-EON is not dependent on the efforts of those working on Gallium and they can support older cards as required. A-EON is focusing on content and sometimes that means giving the OS a boost to get that content on there.
I was playing AmiCraftNova at AmiWest on my Sam460ex. Whether that works via Nova or Gallium or some other engine I don't really care and I doubt end users will either.
Nova also takes some the burden off Hyperion. Glad to hear that the focus will switch to multi core once the X5000 an A1222 releases are out of the door.
Hans-Jörg mentioned in his blog that the API (not Gallium) will also be used for hardware acceleration of the OS as well as applications. If Nova turns out to be faster than Gallium it would be nice to able to drop in a more efficient driver for that purpose.
I was thinking of asking Hans-Jörg directly but since you were asking for questions thought I'd ask here anyway.
I think you said last year that the X5000 is using the X Kenel from day one, would I be right to assume the same of the A1222.