[LinuxBIOS] Linker failures due to __divdi3