as those of Acer 292LMi or Airis N990. This allows booting the NixOS ISO releases. I made it optional, not included by default. I don't think it would harm at all enabling it always - let it be decided on forum. svn path=/nixpkgs/trunk/; revision=16341