simplify ipxe config, all in one file
replace tinycore urls with main mirror, add 64bit option to ipxe menu