[LinuxBIOS] #70: fix util/getpir so that the output will compile