Build oak_restricted_kernel_interface for bare metal using Bazel. #115

Job	Run time
xtask (format)	5m 46s
xtask (check-format)	6m 1s
xtask (run-cargo-deny)	6m 8s
xtask (run-cargo-udeps)	11m 21s
xtask (run-bazel-tests)	5m 42s
xtask (run-cargo-fuzz -- -max_total_time=2)	6m 32s
xtask (completion)	5m 42s
xtask (run-cargo-clippy)	15m 38s
	1h 2m 50s

Provide feedback