Fix problems with VirtualBox kernel rebuilds

Virtualbox currently complains if an attached disk is rewritten, or if it fails to remove the old Redox.vbox file. Some modifications to the Makefile should fix this.