[LinuxBIOS] Maybe a help for others: How to identify interrupt routing