I don't know much about how the bootmenu works, but it's sitting on top of NOLO, the NOkia bootLOader, which is closed source.