seabios-1.7.2 compatibility and cleanup