RFC: linuxbios table fix