Devices/ipxe: work around gcc problem not allowing to specify "ebp" to be clobbered
Devices/PC: export iPXE to OSE