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