[LinuxBIOS] another question for cs5536

[Songmao Tian]

Hi Marc,
    Thanks for you last reply on virtual pci config space, I finally 
find a doc on it at
http://www.amd.com/files/connectivitysolutions/geode/geode_gx/32663C_lx_gx_p... 
by reading
the paper of <<Breaking the Chains—Using LinuxBIOS to Liberate Embedded 
x86 Processors>>, really thanks.

And I am curious with the irq signal of cs5536. it's said that gpio12 
can be used as a INTR_OUT of pic, I have configure the GPIO as 
out_aux1，but it's seems I have missed something, the output of gpio12 
doesn't change with some rtc interrupt occur(I can see some bit of irr 
of 8259 set).

Thanks in advanced.

Tian