strip kernel to reduce the image size
add more helper functions to deal with C string (strstr, strtol, strtoul, ...)
add macro to determine if the bootloader append a cmdline string
extend the function pci_get_device_info to determine a device with a specific IO address
usage of the boot paramter to establish an early output device
per default eduOS doesn't support UART