linuxbios and 512Kb