src/system/boot/platform/bios_ia32/serial.h src/system/boot/platform/efi/serial.h src/system/boot/platform/u-boot/serial.h
