Does linux kernel parse linuxbios table?