[LinuxBIOS] what's up with linxi-patch-13?

[Ronald G Minnich]

has this been applied? What's the story here.

thanks

ron