[LinuxBIOS] patch: add arch-dependent lib