Problems compiling linuxbios for pcchips810