Discussed (with hpa and mcb30) implementation of newer Run kernel image function and Get configuration filename function; learned that menu.c32 and friends take an optional command line parameter to specify the configuration filename, so for now I will avoid implementing the configuration filename function until I'm sure how to do it to ensure the best compatibility with SYSLINUX/PXELINUX. Added parsing of kernel command line to get initrd= parameter and load it, but unfinished, as I am not sure of the best way to load the initrd myself (building a command to pass to system(), exposing some of the hci functionality internally, etc.)