Workaround to build l4linux for ARM Target