[LinuxBIOS] Porting 440bx from v1, is this right?