Add UEFI OS

[lorenz]

This adds UEFI as an OS. It specifies pretty much everything in order to qualify for an OS (ABI, entrypoint, standard interfaces) and there are compiler targets for it (for example Rust's x86_64-unknown-uefi), so I think it makes sense to have it as an OS in platforms.