seabios-7.2 compatibility and cleanup