[LinuxBIOS] linuxbios on an NCR-7456 POS PC