genode/base-nova/mk/spec-nova_x86_32.mk