iPXE: enable HTTP
*.kmk: Some template cleanup, adding VBoxR3Tool for dev tools (bin/tools/).
header fixes
Devices/PC: export iPXE to OSE